Geostatistical Normalization - Theoretical Framework

Geostatistical Approaches to Change of Support Problems -- Theoretical Framework --

Geostatistical normalization of air pollution transport model output and station data using Isatis

A Geostatistical Framework for Area-to-Point Spatial Interpolation

The spatial prediction of point values from areal data of the same attribute is addressed within the general geostatistical framework of change of support; the term support refers to the domain informed by each datum or unknown value. It is demonstrated that the proposed geostatistical framework can explicitly and consistently account for the support differences between the available areal data...

Quality-Based Score Normalization and Frame Selection for Video-Based Person Authentication

This paper addresses the incorporation of quality measures to videobased person authentication. A theoretical framework to incorporate quality measures in biometric authentication is exposed. Two different quality-based score normalization techniques are derived from this theoretical framework. Furthermore, a quality-based frame selection technique and a new face image quality measure are also ...

Weak Normalization for the Simply-Typed Lambda-Calculus in Twelf

Weak normalization for the simply-typed λ-calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait’s computability method does not seem to be directly usable, a combinatorical proof is adapted and formalized instead.